correctness proof
[网络] 正确性证明；正确性证据；程序正确性证明
热门查询
- tenderize vt. 使嫩；使软化
- laudably adv. 值得赞赏地；可嘉地；可佩地
- Hartwell [人名] [英格兰人姓氏] 哈特韦尔住所名称，来源于古英语，含义是“公鹿+泉，溪流”(hart+spring,stream); [地名] [英国、英国] 哈特韦尔
- falter n. 踌躇；支吾；颤抖 vi. 支吾；蹒跚地走 vt. 支吾地说；结巴地讲出 n. (Falter)人名；(英)福尔特；(德、捷)法尔特
- smuggler n. 走私者；走私犯；[法] 走私船
- synthesized adj. 合成的；综合的 v. 合成（synthesize的过去分词）；综合
- nectarine n. [园艺] 油桃；[园艺] 蜜桃
- backspin n. （球，轮等的）倒旋，逆转
- guanine n. [生化] 鸟嘌呤（核酸的基本成分） n. (Guanine)人名；(法)加尼纳
- Hannan 阪南 n. (Hannan)人名；(英)汉南
- packrat n. 个人信息管理程序（软件名）
- reburial 再掩埋
- hermeneutical 解释学的
- saluting n. 致敬，欢迎；敬礼 vt. 行礼致敬，欢迎 vi. 致意，打招呼；行礼
- Woodlands n. 林地( woodland的名词复数 )
- scope n. 范围；余地；视野；眼界；导弹射程 vt. 审视
- quarantined 检疫 隔离
- excitability n. [生理] 兴奋性，应激性；可激发性
- they've （等于they have）
- strung v. 捆扎，系上（string的过去式和过去分词）；收紧
考试词汇表
- fracturing fluid for oil well
- fracturing of separate layers
- fragile X chromosome syndrome
- fragment of fibronectin,29kDa
- fragment simulator projectile
- fragmentation (of chromosome)
- fragrant eveningprimrose root
- fragrant lowfoaming detergent
- fragrant plantainlily rhizome
- frame (in data communication)
- frame alignment recovery time
- frame for bifocus lenses,test
- frame for bioprosthesis valve
- frame for scalpel,sterilizing
- frame stretch bending machine
- frame synchronization control
- framework of geodetic control
- franchet peashrub flower root
- francis scott key fitzgeralds
- francisco vasquez de coronado
